Search Results
[ICFP'24] Green - ICFP Papers and Events (Sep 4th)
[ICFP'24] Green - ICFP Papers and Events (Sep 5th)
[ICFP'24] Green - Business Meeting (Sep 4th)
[ICFP'24] Orange 3 - PLMW (Sep 2nd)
1 09 Injective Type Families for Haskell
01 Regularizing the irregular: analyses and transformations for recursive, irregular applications
02 Mathematics, Textiles and Programming: Scripted Scarves
Troels Henriksen - Futhark: Purely Functional GPU-programming with Nested Parallelism and...
TUES Pattaya 7 Session 3
TUES Pattaya 11 Session 1
IUSSP Panel on FP, Fertility and Urban Welfare - Kigali, Rwanda
OCaml 2021 - Deductive Verification of Realistic OCaml Code
![[ICFP'24] Green - ICFP Papers and Events (Sep 4th)](https://img.youtube.com/vi/F70QZaMoYJQ/hqdefault.jpg)
![[ICFP'24] Green - ICFP Papers and Events (Sep 5th)](https://img.youtube.com/vi/PaUfiXDZiqw/hqdefault.jpg)
![[ICFP'24] Green - Business Meeting (Sep 4th)](https://img.youtube.com/vi/Y2tJbaiMDCg/hqdefault.jpg)
![[ICFP'24] Orange 3 - PLMW (Sep 2nd)](https://img.youtube.com/vi/pS_vJAwjcM4/hqdefault.jpg)
